infimum x^2